Reasoning system

Results: 468



#Item
171Facebook / Social media / Web 2.0 / Social information processing / Real-time web / Like button / Algorithm / Social networking service / Recommender system / World Wide Web / Computing / Software

“I always assumed that I wasn’t really that close to [her]”: Reasoning about invisible algorithms in the news feed Motahhare Eslami, Aimee Rickman† , Kristen Vaccaro, Amirhossein Aleyasen, Andy Vuong Karrie Karah

Add to Reading List

Source URL: www-personal.umich.edu

Language: English - Date: 2015-02-18 08:26:52
172Type theory / Higher-order abstract syntax / Prolog / Twelf / De Bruijn index / Eval / Type system / Free variables and bound variables / Lambda calculus / Software engineering / Computing / Programming language theory

A Framework for Specifying, Prototyping, and Reasoning about Computational Systems (Doctoral Dissertation Proposal) Andrew Gacek Decemeber 3, 2007

Add to Reading List

Source URL: www.dtc.umn.edu

Language: English - Date: 2012-08-16 12:29:03
173Reasoning / Knowledge representation / Ontology / Expert systems / Knowledge engineering / LOOM / Knowledge representation and reasoning / Reasoning system / Frame language / Artificial intelligence / Science / Knowledge

Using a Description Classi er to Enhance Deductive Inference Robert M. MacGregor USC/Information Sciences Institute 4676 Admiralty Way Marina del Rey, CA 90292

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2000-03-31 18:35:56
174Cognition / Logic programming / Reasoning / LOOM / Cognitive architecture / Production system / Knowledge representation and reasoning / Frame language / ACT-R / Ontology / Artificial intelligence / Software

CLASP: Integrating Term Subsumption Systems and Production Systems John Yen, MEMBER, IEEE Department of Computer Science Texas A&M University College Station, TX 77843

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2000-03-31 18:42:38
175Knowledge / Spatial–temporal reasoning / Qualitative reasoning / Knowledge representation and reasoning / Defeasible reasoning / Schedule / Inference / Commonsense reasoning / Reasoning system / Reasoning / Logic / Science

Reasoning from Radically Incomplete Information: The Case of Containers Ernest Davis [removed]

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2013-09-12 10:33:11
176Mind / Materials handling / Reasoning / Abstraction / Wason selection task / Conveyor belt / Conveyor system / Conveyor / Psychology of reasoning / Cognitive science / Science / Cognition

Alkhalifa, E. M.(2001), Directional Thought Effect in the Selection task, Proceedings of the Third International Conference on Cognitive Science, ICCS 2001, pp[removed], Beijing, China.

Add to Reading List

Source URL: www.silvertair.com

Language: English - Date: 2009-07-08 10:07:59
177Knowledge representation / Reasoning / Cognitive architecture / Programming paradigms / Knowledge engineering / LOOM / Knowledge representation and reasoning / Reasoning system / Expert system / Artificial intelligence / Science / Cognition

Microsoft Word - Final Report

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2003-05-22 14:34:01
178Markup languages / Data / Ontology / Web services / Technical communication / DAML-S / Knowledge representation and reasoning / XML / DAML+OIL / Computing / Semantic Web / Information

AN INTELLIGENT WEB SERVICE SYSTEM Suwanee Suwanapong1 , Chutiporn Anutariya 2 , and Vilas Wuwongse1 1 Computer Science & Information Management Program, School of Advanced Technologies,

Add to Reading List

Source URL: www.cmsthailand.com

Language: English - Date: 2008-04-11 22:18:12
179Lisp programming language / LOOM / Ontology / Knowledge representation and reasoning / Shed / Lisp / Programming language / Common Lisp Object System / Expert system / Computing / Software engineering / Computer programming

Loom Tutorial For Loom Release 2.1 Release Date: May 17, 1995

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2001-02-16 19:09:10
180Science / Materials handling / Cognitive tests / Neuropsychological tests / Cognitive linguistics / Stroop effect / Wason selection task / Conveyor system / Necessity and sufficiency / Cognitive science / Mind / Cognition

OzCogSci2002 1 The Effects of Meaning in a White/Black Setting on Reasoning Eshaa M. Alkhalifa

Add to Reading List

Source URL: www.silvertair.com

Language: English - Date: 2009-07-08 10:08:03
UPDATE